Mobile
Log In Sign Up
Home > chinese-english > "modal operator" in English

English translation for "modal operator"

模态算子
模态运算子


Related Translations:
modal:  adj.1.方式上的,形态上的;【哲学】(对本质、内容说的)形式(上)的。2.【语法】语气 (mood) 的;表示情态 (manner) 的。3.【逻辑学】程式的;【音乐】调式的;【法律】规定执行[应用]方式的;【统计】众数的。短语和例子a modal legacy 指定用途的遗产。 modal auxiliary 情态助动词 (can, may, might, must,
modal polynomials:  模态多项式
cellulose modal:  莫代尔纤维
modal mobility:  模态导纳
modal noise:  模式噪声
modal peak:  模态峰值
modal aggregation:  模态集结射探伤机
modal frequency:  模态频率众数频率
modal proposition:  模态命题
modal system:  模态系统
Example Sentences:
1.These modal operators are usually available in temporal logic
通常,下列模态操作符可用于时态逻辑:
2.A blended transform domain watermarking based on multi - value sequence modal operator
基于多值序列模运算的混合变换域水印
3.Temporal logic employs three or four , depending on the model common modal operators
时态逻辑使用三个(或四个,取决于模型)常见的模态操作符。
4.Various modal operators can then be applied to these atomic assertions to generate more complex assertions
于是,各种模态操作符都可以应用于这些原子断言以生成更复杂的断言。
5.In fact , the syntax of temporal rover assertions is the same syntax i ve used in the examples above , where assertions taken by the modal operators are surrounded with braces
实际上, temporal rover断言的语法与我在上面示例中使用的语法相同,其中,模态操作符采用的断言用花括号括起。
6.The contributions of this paper include the following : ( 1 ) we establish a new form of the modal logical characterization satisfying - bisimulation in nomal case . ( 2 ) we introduce a new modal operator
( 2 )引入一个新模态词,并在此基础上使用新的模态逻辑语言给出一个更具一般性的-互模拟的模态逻辑特征。
7.Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ) , the author studied semantic and syntax properties of generalized lattice - valued modal logic system , and probed into a - resolution principle . the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part , we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ) , set up a new lattice - valued modal propositional logic system lmp ( x ) , studied its semantic properties and syntax structure , proved the soundness and consistence of this system . based on these work , discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ) , gave out the rules of computing a - direct resolvent and a - self resolvent , and proposed detailed resolution method
本文在格值命题逻辑系统lp ( x )和格值一阶逻辑系统lf ( x )的基础上,讨论了广义格值模态逻辑系统的语义及语法性质,并对其-归结原理做了初步探讨,主要在下述三个方面取得了研究成果:第一部分:关于格值模态命题逻辑系统及其归结方法的研究在此部分,把模态算子n (必然)和p (可能)引入格值命题逻辑系统lp ( x ) ,建立了新的格值模态命题逻辑系统lmp ( x ) ,并研究了它的语义刻画及语法结构,证明了在此语义解释和语法框架下的系统仍是-可靠的和协调的;在此基础上,进一步研究了基于格值模态命题逻辑系统lmp ( x )的-归结原理,给出了计算-直接归结式和-自归结式的规则,并总结出具体的归结方法。
Similar Words:
"modal mode" English translation, "modal need" English translation, "modal noise" English translation, "modal number" English translation, "modal of vibration" English translation, "modal operators" English translation, "modal parameter" English translation, "modal particle" English translation, "modal peak" English translation, "modal personality" English translation